CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Mathematical logic
• Theoretical computer science
• Computability theory
• Theory of computation
• Recursion
• Type theory
• Structural induction
• Mathematical induction
• Rippling
• Nqthm
• Constructible universe

Beauty and the Beast: What running a broad-coverage precision grammar over the BNC taught us about the grammar — and the corpus Timothy Baldwin, John Beavers, Emily M. Bender∗ , Dan Flickinger, Ara Kim and Stephan Oe

Source URL: lingo.stanford.edu

• Linguistics
• Cognitive science
• Generative linguistics
• Grammar
• Syntax
• Philosophy of logic
• Philosophy of language
• Parsing
• Grammaticality
• Head-driven phrase structure grammar
• Treebank
• Lexical item

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Computability theory
• Lambda calculus
• Recursion
• Theoretical computer science
• Type theory
• Combinatory logic
• Church encoding
• Initial algebra
• Primitive recursive function

The Logic of Explanatory Power Jonah N. Schupbach and Jan Sprenger∗† [Forthcoming in Philosophy of Science] Abstract This paper introduces and defends a probabilistic measure of the explanatory power that a particula

Source URL: fitelson.org

Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places14.di.fc.ul.pt

• Proof theory
• Logic in computer science

An Overview of Separation Logic John C. Reynolds? Computer Science Department Carnegie Mellon University

Source URL: vstte.ethz.ch

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design

Department of Science & Technology Studies Fall 2015 The State Multiple Nicholas J. Rowland, PhD The Pennsylvania State University

Source URL: sts.cornell.edu

• Philosophy
• Metaphysics
• Logic
• Abstraction
• Critical thinking
• Inductive reasoning
• Theory
• Rowland
• Multiplicity
• Truth
• Science
• Concept

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Source URL: pub.ist.ac.at

• Computability theory
• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Reduction
• Symbol
• Sigma-algebra
• Decomposition of spectrum